#ifndef _HALINIT_H_
#define _HALINIT_H_

#include <platform.h>
#include <haluart.h>
#include <halmach.h>
#include <halmem.h>
#include <halintrpt.h>

LKHEAD_T void hal_init (void);

#endif